Software Environment Support for Integrated Formal Program Specification and Development
نویسندگان
چکیده
Formal program development has gained widespread academic interest as a rigorous software engineering technique. One of the main hurdles for the wider IT industry in adopting these formal techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for object-oriented software development which incorporates formal Object-Z specifications for classes. These formal specification views are kept consistent with more traditional design and implementation views, allowing software developers to design, refine, implement and document their software utilising integrated formal techniques.
منابع مشابه
Towards Configurable Integrated Project Support Environment
This article discusses the challenge of the Integrated Project Support Environment development. Such an environment could be successfully applicable to a variety of software development project types. Since there are many software development approaches available it is important to choose and use an appropriate development methodology, methods and tools for a given project. The proposed Integra...
متن کاملAn integrated environment of S/W specification and V&V for safety-critical systems
As a digital system becomes more important in recent years, software specification and analysis techniques become a central problem in the safety-critical systems. Therefore, the importance of software verification and validation (V&V) based on an adequate specification is more emphasized in view of the software quality. For a thorough V&V, it should be performed throughout whole software life ...
متن کاملFormal Specification and Prototyping of a Program Specializer
This paper reports on the use of formal specifications in the development of a software maintenance tool for specializing imperative programs, which have become very complex due to extensive modifications. The tool is specified in terms of inference rules and operates by induction on the abstract syntax. The correctness of these rules is proved using rule induction. A Prolog prototype has been ...
متن کاملAn Integrated Approach to the Generation of Environments from Formal Specifications
This paper describes an experiment in the use of a persistent object store to support the construction and execution of a software development environment. This development environment presents the user with language specific editors which provide access to incremental parsers. The editors and parsers are automatically generated from a formal language specification based on attribute grammars. ...
متن کاملA Synchronous Cooperative Architecture for the PROSOFT Software Engineering Environment1
This paper shows the evolution of a software engineering environment (SEE) called PROSOFT to support the formal development of groupware applications. This environment, which is centered in the data-driven approach for software development, evolved to support cooperation in the software development process. Its transition is founded in a client/server communication model called Distributed PROS...
متن کامل